Categories with Slicing
نویسنده
چکیده
Prior work towards the subject of higher-dimensional categories gives rise to several examples of a category over Cat to which the slice-category construction can be lifted universally. The present paper starts by supplying this last clause with a precise meaning. It goes on to establish for any such category a certain embedding in a presheaf category, to describe the image, and hence to derive conditions collectively sufficient for that functor to be an equivalence. These conditions are met in the foremost of the examples: the category of dendrotopic sets.
منابع مشابه
Effect of Different Harvesting Techniques on the Recovery and Quality of Bovine Cumulus Oocyte Complexes
This study investigated the effect of different harvesting techniques on the recovery rate and quality of bovine cumulus oocyte complexes (COCs) and their subsequent developmental competence including in vitro maturation, fertilization and blastocyst formation. The COCs were retrieved from slaughter ovaries using aspiration, slicing, or aspiration followed by slicing. The COCs were examined mic...
متن کاملA Slicing Method for Object-Oriented Programs Using Lightweight Dynamic Information
Program slicing has been used for efficient program debugging activities. Program slice is computed by analyzing dependence relations between program statements. We can divide dependence analyses into two categories, static and dynamic; the former requires little analysis costs, but the resulting slices are large. The latter has opposite characters. In this paper, we propose a program slicing m...
متن کاملDesign and Implementation of Bytecode-based Java Slicing System
Program slice is a set of statements that affect the value of variable v in a statement s. In order to calculate a program slice, we must know the dependence relations between statements in the program. Program slicing techniques are roughly divided into two categories, static slicing and dynamic slicing, and we have proposed DC slicing technique which uses both static and dynamic information. ...
متن کاملUsing Program Slicing Technique to Reduce the Cost of Software Testing
Systems of computers and their application in the lives of modern human beings are vastly expanding. In any kind of computer application, failure in computer systems can lead to a range of financial and mortal losses. Indeed, the major origin of software failure can be located in designing or implementing software. With regard to these statistics, 30% of the software projects have been prospero...
متن کاملAccuracy of Parts Manufactured by Rapid Prototyping Technology
Paper presents research results of the parts accuracy after manufacturing with used Rapid Prototyping technology in context of the possible use of multi-directional layers disposition. Errors of the model by production were analyzed in two categories: external and internal model errors. External errors of models production include: conversion error, staircase error and error of slicing into lay...
متن کامل